1 Remote Memory Access Programming in MPI-3 Torsten Hoefler, ETH Zurich James Dinan, Intel Corporation Rajeev Thakur, Argonne National Laboratory Brian Barrett, Sandia National Laboratories

Source URL: htor.inf.ethz.ch

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Transaction processing
• Computer memory
• Application programming interfaces
• Programming paradigms
• Message Passing Interface
• Partitioned global address space
• Synchronization
• Consistency model

Quantitative Screening of Embryonic Stem Cell Differentiation: Endoderm Formation as a Model Karen H. Chang, Peter W. Zandstra Institute of Biomaterials and Biomedical Engineering and Department of Chemical Engineering a

Source URL: stemcell.ibme.utoronto.ca

Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• ECO
• Postcondition
• Systems Modeling Language
• Object Process Methodology
• Modeling language
• Profile
• Class diagram
• Economic model

Graphical Model Approach to Pitch Tracking Xiao Li, Jonathan Malkin and Jeff Bilmes Department of Electrical Engineering University of Washington, Seattle {lixiao,jsm,bilmes}@ee.washington.edu

Source URL: melodi.ee.washington.edu

CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10)

Source URL: www.program-transformation.org

• Computing
• Software engineering
• Computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• Domain-specific language
• Actor model

A Factored Conditional Random Field Model for Articulatory Feature Forced Transcription Rohit Prabhavalkar # , Eric Fosler-Lussier # , Karen Livescu ∗ # Department of Computer Science and Engineering, The Ohio State U

Source URL: ttic.uchicago.edu

Cloud Digital Investigations based on a Virtual Machine Computer History Model Sean Thorpe1, Indrajit Ray2, Tyrone Grandison3, Abbie Barbir4 1 Faculty of Engineering & Computing, University of Technology,

Source URL: www.tyronegrandison.org

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design

Model Engineering College Talk by Richard M. Stallman ( INDIAhttp://www.sslug.dk/~chlor/ogg/rms/trans_1.html http://www.gnu.org/philosophy/stallman-mec-india.html The_Danger_of_Software_Patents Prof. Jyothi John,

Source URL: ladoc.ffii.fr

• Patent law
• Software patent
• Patent
• Outline of patents
• Patent troll

Model-Based Engineering of Dependable Systems with AADL Presenter(s): David Gluch, SEI/Embry-Riddle Aeronautical U., USA () Bruce Lewis, Army AMCOM SED, USA Tutorial Overview: The tutorial provides experie

Source URL: 2007.dsn.org